ソフトウェアの基礎理論(完) プログラムの構成――正しいプログラムを作製する際に役立つ良い方法はないのだろうか